Nuprl Definition : eq_atom 9,38
x =a y == if x=y then tt else ff 
latex

Definitionsif a=b then c else d, tt, ff
FDL editor aliaseseq_atom

origin